Computer Science

Results: 55984



#Item
221

Synthesising Verified Access Control Systems in XACML Nan Zhang School of Computer Science University of Birmingham Birmingham, UK, B15 2TT

Add to Reading List

Source URL: www.cs.bham.ac.uk

Language: English - Date: 2009-02-25 10:33:24
    222

    Proceedings of SAT Competition 2014: Solver and Benchmark Descriptions, volume Bof Department of Computer Science Series of Publications B, University of HelsinkiISBN6. Yet another Local S

    Add to Reading List

    Source URL: fmv.jku.at

    Language: English
      223

      Personal Study Plan in the Master Study Program Applied Computer Science at Georg-August-University Goettingen Field of Specialization: Medical Informatics Information: Following § 4 of the examination and study regulat

      Add to Reading List

      Source URL: www.mi.med.uni-goettingen.de

      Language: English - Date: 2018-03-12 10:13:18
        224

        Bounding the cache-side-channel leakage of lattice-based signature schemes using program semantics Nina Bindel, Johannes Buchmann, Juliane Krämer, Heiko Mantel, Johannes Schickel, and Alexandra Weber Computer Science De

        Add to Reading List

        Source URL: www.mais.informatik.tu-darmstadt.de

        Language: English - Date: 2018-02-22 05:33:27
          225

          Linear Time Algorithm for Parsing RNA Secondary Structure Extended Abstract Baharak Rastegari and Anne Condon Department of Computer Science, University of British Columbia

          Add to Reading List

          Source URL: www.cs.ubc.ca

          Language: English - Date: 2005-06-24 17:46:36
            226

            Virginia Tech Department of Computer Science Postdoctoral researcher Seek one or two postdoctoral researchers who are interested in the use of system engineering and data analytics to ensure system and software security.

            Add to Reading List

            Source URL: people.cs.vt.edu

            Language: English - Date: 2017-06-29 15:14:44
              227

              Consent to Publish 123 Lecture Notes in Computer Science

              Add to Reading List

              Source URL: www.lsis.org

              Language: English - Date: 2016-01-07 15:27:50
                228

                Gray-box Learning of Serial Compositions of Mealy Machines Andreas Abel and Jan Reineke Department of Computer Science Saarland University Saarbr¨

                Add to Reading List

                Source URL: embedded.cs.uni-saarland.de

                Language: English - Date: 2016-10-24 12:00:51
                  229

                  Information about payment invoices to Technische Universteit Eindhoven Name: Technische Universiteit Eindhoven Department of Mathematics & Computer Science

                  Add to Reading List

                  Source URL: 2017.pqcrypto.org

                  - Date: 2017-04-17 16:39:05
                    230

                    Abstraction Selection in Model-Based Reinforcement Learning Nan Jiang Alex Kulesza Satinder Singh Computer Science & Engineering, University of Michigan

                    Add to Reading List

                    Source URL: proceedings.mlr.press

                    Language: English - Date: 2017-05-06 17:27:04
                      UPDATE